航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

Effect of matching between the magnetic field and channel length on the performance of low sputtering Hall thrusters

Discharge characteristics of a non-wall-loss Hall thruster were studied under different channel lengths using a design based on pushing a magnetic field through a double permanent magnet ring. The effect of different magnetic field intensities and channel lengths on ionization, efficiency, and plume divergence angle were studied. The experimental results show that propellant utilization is improved for optimal matching between the magnetic field and channel length. While matching the magnetic field and channel length, the ionization position of the neutral gas changes. The ion flow is effectively controlled, allowing the thrust force, specific impulse, and efficiency to be improved. Our study shows that the channel length is an important design parameter to consider for improving the performance of non-wall-loss Hall thrusters.     

Facile Fabrication of Hierarchical Porous N/O Functionalized Carbon Derived from Blighted Grains Towards Electrochemical Capacitors

The hierarchical porous N/O co-functionalized carbon(HPNOC)was scalably prepared by using the lowcost and renewable blighted grains as the raw material coupled with mild KHCO_3 activation for electrochemical capacitors(ECs).The elemental N was in situ doped in the obtained HPNOC without any N-containing additives.Remarkably,the obtained HPNOC was endowed with a large specific surface area(about 2 624m~2·g~(-1)),high pore volume(about 1.35cm~3·g~(-1)),as well as high-content N/O functionalization(about 1.9%(in atom)N and about 10.2%(in atom)O.Furthermore,the as-resulted HPNOC electrode with a high mass loading of 5mg·cm~(-2 )exhibited competitive gravimetric capacitances of about 373.6F·g~(-1 )at 0.5A·g~(-1),and even about 260.4F·g~(-1 )at a high rate of 10A·g~(-1);superior capacitance retention of about 98.8%at 1A·g~(-1 )over 10 000consecutive cycles;and high specific energy of about 9.6W·h·kg~(-1 )at a power of 500W·kg~(-1),when evaluated as a promising electrode in 6mol KOH for advanced electrochemical supercapacitors.More encouragingly,the green synthetic strategy we developed holds a huge promise in generalizing for other biomass-derived carbon materials for versatile energy-related applications.     

Research on navigation of satellite constellation based on an asynchronous observation model using X-ray pulsar

Pulsar navigation is a promising navigation method for high-altitude orbit space tasks or deep space exploration. At present, an important reason for restricting the development of pulsar navigation is that navigation accuracy is not high due to the slow update of the measurements. In order to improve the accuracy of pulsar navigation, an asynchronous observation model which can improve the update rate of the measurements is proposed on the basis of satellite constellation which has a broad space for development because of its visibility and reliability. The simulation results show that the asynchronous observation model improves the positioning accuracy by 31.48% and velocity accuracy by 24.75% than that of the synchronous observation model. With the new Doppler effects compensation method in the asynchronous observation model proposed in this paper, the positioning accuracy is improved by 32.27%, and the velocity accuracy is improved by 34.07% than that of the traditional method. The simulation results show that without considering the clock error will result in a filtering divergence.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

Simulation and Analysis of Electromagnetic Force in Laser Melting Deposition by Electromagnetic Impact

Magnetic field was introduced in laser melting deposition to reduce the pores in workpieces.Finite 3-D model of the coil-deposition layer-substrate was established.Simulation results show that the electromagnetic force in deposition layer mainly concentrates in the projection area of the coil.Axial electromagnetic force shows repulsion in one cycle.The experimental results indicate that the magnetic field is beneficial for grain refinement,microhardness increasement and decline of quantities and average sizes of pores.     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

在二元柔壁自适应风洞中利用面元法进行三元模型实验

简要叙述了在西北工业大学二元柔壁自适应风洞中利用面元法进行二元半机翼模型试验的研究情况，分析了面元法的基本思想和部分试验结果。     

对地定向三轴稳定卫星的圆锥扫描地球敏感器的数学模型

本文介绍了对地定向三轴稳定卫星的圆锥扫描式地球敏感器的姿态测量原理、输出几何关系和数学模型，并以实际例子说明大角度姿态控制时必须注意敏感器输出的轴间耦合问题     

新建他激反激变换器方程及其解析解

引用文 [1 ]的思路 ,寻找他激反激变换器的运行状态特征参量 (磁通密度增量、剩余磁通密度和占空比 )与构成这一变换器的基本物理参量之间的函数关系。首先阐明由于频率给定 ,他激反激变换器稳态运行时会出现无剩磁工况和有剩磁工况两种。而后确定这两种工况下 ,磁路等效储能空间单位体积每个周期的传输能量 (命名为“磁能传输密度”)。在这基础上 ,分别建立和解出他激反激变换器在不同工况下稳定运行时应满足的方程。最后根据所得的解析解阐明这种变换器的特性。本文和文 [1 ],以磁路分析为基础建立了一种新的反激变换器理论。